ORCID

Información ORCID de MEDINA BULO, MARIA INMACULADA

Biografía

Inmaculada Medina-Bulo received her PhD in Computer Science at the University of Seville. She has been with the Dep. of Computer Science and Engineering of the University of Cádiz (UCA) since 1995, where she is currently a Full Professor. From July 2010 to July 2011, she was appointed Degree Coordinator for the Computer Science Studies and a member of the Board of the School of Engineering (ESI). From July 2011 to September 2013, she occupied the position of Inspector General of the UCA (with the rank of Vice-Chancellor). Finally, since September 2013 to July 2019 she served as Director General for Information Systems of the UCA (Chief Information Officer – CIO). Besides, she was an Erasmus+ Program Coordinator for several years. She is currently a member of the Council of the ESI.\nIn 2011 she founded the UCASE Software Engineering Research Group at the UCA, being its head since then. This group focuses on all aspects of Software Engineering and its domain-specific areas, artificial intelligence (AI), and cybersecurity.\nShe has coauthored more than 200 peer-reviewed papers in journals and conferences. She has 43 papers in JCR journals. Among her most relevant journal contributions, it is worth mentioning the ones in the IEEE Transactions on Reliability, Information & Software Technology (IST) and the Journal of Systems and Software (JSS). She has 45 conference papers in ICORE conference rating. Among her most relevant conference contributions, the ones in GECCO, CEC and ACM SAC deserve special mention. \nShe has participated in many research projects all along her research career. She has been the Principal Investigator (PI) in 5 national competitive projects in software testing (highlighting the national ASSENTER proof of concept project, participating Navantia, where testing techniques were applied to Navantia's C++ code), 2 of them including AI and cybersecurity, and the PI in 2 editions of the Spanish Excellence Network in Search-Based Software Engineering (SEBASENet and SEBASENet 2.0) including AI. She has also participated in 3 German projects in cybersecurity. Her research was supported by different grants and research stays at the USA, the United Kingdom and Germany. \nIn informatics education, she has 6 papers in journals, 3 of them in JCR journals, and 26 papers (one of them awarded) in conferences as the IEEE/ACM ICSE-SEET, Class: 1, Rating: A++. She has participated in more than 15 education projects and and has enjoyed education Erasmus stays. \nHer main research interests are software engineering, artificial intelligence in software engineering, software testing, web-service compositions, service oriented and event driven architectures (SOA 2.0), complex-event processing, big data, IoT, cybersecurity, and nformatics education. She has coordinated the development of several open-source testing tools, such as the MuCPP mutation testing tool for C++, the MuBPEL mutation testing tool for WS-BPEL, the GAmeraHOM tool for locating “hard-to-kill” mutants, the Rodan test-case generator for WS-BPEL and the Takuan dynamic invariant generator for WS-BPEL. \nShe has been strongly involved in the organization of international conferences. She has served as the PC-Chair of many international events (conferences, workshops and summer schools) including different editions of ICTSS, GECCO, CEC, or the Spanish SISTEDES. She has also served in many Programme Committees of international events such as ICSE SEIP, ICSE SEIS, MET, WEBIST, SS-SBSE, ICIW or ESCIM. She has reviewed papers for journals such as IST, JSS and TSE (IEEE Transactions on Software Engineering). Besides, she has served in organizing and/or program committees at different events such as conferences as JENUI, TAROT, SS-SBSE or SMILESENG.\nShe has supervised 15 PhD Theses since 2009, three of them co-supervised with colleagues of Frankfurt University of Applied Sciences. Nine of the dissertations were in software testing and two of them in cybersecurity. In addition, two of the dissertations obtained the award to the best PhD thesis of their academic year. She is currently co-supervising four PhD students. She has also supervised more than 25 Bachelor's Theses and 15 Master's Theses, some of them obtained the award to the best thesis of their academic year. She has also participated in several Bachelor and Master thesis Committees at the UCA and PhD Committees at the Technische Universität Graz and the Galileo University, as well as several PhD Committees in Spain, mainly at the UCA, Complutense University, the Univ. of Seville and the Univ. of Almería. \nRegarding transfer activities, she has participated in several contracts, highlighting 5 contracts in defence sector with Navantia (3 of them in cybersecurity) and 2 contracts with Airbus in data analysis (big data). In addition, other contracts were an expert report for Tana Systems and the development of a BPELUnit extension for InnoQ (IT consulting with offices in Germany and Switzerland).

Educación

PhD in Computer Science

University of Seville: Seville, ", , España

Empleo

Professor

University of Cádiz: Cádiz, ", , España

Obras

LLM-Based Cyberattack Detection Using Network Flow Statistics

2025 | JOURNAL_ARTICLE

Política de Cookies

Personalización de Cookies

Información ORCID de MEDINA BULO, MARIA INMACULADA

Biografía

Educación

PhD in Computer Science

Empleo

Professor

Obras

LLM-Based Cyberattack Detection Using Network Flow Statistics

THE CHARNES, COOPER AND RHODES MODEL AND ITS APPLICATION

A Comprehensive Review on Equivalent Mutant Detection Using Machine Learning

An Analysis of Class Imbalance Challenges in Predictive Mutation Testing

Explainable Artificial Intelligence to Improve Interpretability in Predictive Mutation Testing

Systematic literature review of ambient assisted living systems supported by the Internet of Things

AALFlow: A Model-Driven Approach for the Integration of Internet of Things Heterogeneous Solutions for Ambient Assisted Living

CMBMeTest: Generation of Test Suites Using Model-Based Testing Plus Constraint Programming and Metamorphic Testing

Algorithm for Application of a Basic Model for the Data Envelopment Analysis Method in Technical Systems

InterEvo-TR: Interactive Evolutionary Test Generation With Readability Assessment

Application of the Data Envelopment Analysis Method for Evaluating Operation of Technical Systems

Slack Based Model for Enterprises’ Efficiency Improvement

Computing performance requirements for web service compositions

Mutation‐inspired symbolic execution for software testing

IoT-TEG 4.0: A New Approach 4.0 for Test Event Generation

Fall Detection from Electrocardiogram (ECG) Signals and Classification by Deep Transfer Learning

MEdit4CEP-SP: A model-driven solution to improve decision-making through user-friendly management and real-time processing of heterogeneous data streams

Model Translation from Papyrus-RT into the nuXmv Model Checker

Customizable and scalable automated assessment of C/C++ programming assignments

A Wearable Fall Detection System Based on Body Area Networks

Mutation Operators for Google Query Language

Test Event Generation for a Fall-Detection IoT System

Using Genetic Algorithms to Generate Test Suites for FSMs

Evaluation of Mutation Testing in a Nuclear Industry Case Study

A Hybrid Algorithm for Optimal Wireless Sensor Network Deployment with the Minimum Number of Sensor Nodes

Assessment of C plus plus object-oriented mutation operators: A selective mutation approach

Assessment of class mutation operators for C plus plus with the MuCPP mutation system

Assessment of class mutation operators for C++ with the MuCPP mutation system (vol 81, pg 169, 2017)

E-CUIDASALUD: ADMINISTRATIVE AND TEACHING MANAGEMENT WEB APPLICATION FOR NURSING PRACTICUM SUBJECTS

Leveraging Diversity in Evolutionary Algorithms using a Population Injection Method

Local Parallelization of Pleasingly Parallel Stream Processing on Multiple CPU Cores

Local Programming Language Barriers in Stream-based Systems

Maintaining Genetic Diversity in Multimodal Evolutionary Algorithms using Population Injection

Two Case Studies on Generating Administrative Process Applications with AdminDSL

Class mutation operators for C plus plus object-oriented systems

Improving Network Traffic Acquisition and Processing with the Java Virtual Machine

MEdit4CEP: A model-driven solution for real-time decision making in SOA 2.0

ModeL4CEP: Graphical domain-specific modeling languages for CEP domains and event patterns

Monitoring Traffic in Computer Networks with Dynamic Distributed Remote Packet Capturing

Quality metrics for mutation testing with applications to WS-BPEL compositions

A framework for genetic test-case generation for WS-BPEL compositions

A model-driven approach for facilitating user-friendly design of complex event patterns

Assessment of collaborative learning experiences by graphical analysis of wiki contributions

Automatic dynamic generation of likely invariants for WS-BPEL compositions

Bridging the Gap between Low-level Network Traffic Data Acquisition and Higher-level Frameworks

Exact scalable sensitivity analysis for the next release problem

Header field based partitioning of network traffic for distributed packet capturing and processing

PTTAC: Passive testing tool for asynchronous systems

Scalability of assessments of wiki-based learning experiences in higher education

Towards an integrated SOA-based architecture for interoperable and responsive manufacturing systems using the ISA-95 object model

A Model-Driven Approach for Web Service Adaptation Using Complex Event Processing

An Approach for Model-Driven Design and Generation of Performance Test Cases with UML and MARTE

Towards an Integrated SOA-based Architecture for Interoperable and Responsive Manufacturing Systems

Application of Metamorphic Testing to a case study in web services compositions

Complex event processing applied to early maritime threat detection

Computer-supported assessment of wikis in higher education: Two case studies

Hierarchical events for efficient distributed network analysis and surveillance

Metasearch services composition in WS-BPEL: An application of Metamorphic Testing

Mutation testing of event processing queries

AN APPROACH TO METAMORPHIC TESTING FOR WS-BPEL COMPOSITIONS

An approach to Metamorphic Testing for WS-BPEL compositions

Analogies and differences between mutation operators for WS-BPEL 2.0 and other languages

EUnit: A unit testing framework for model management tasks

Evolutionary mutation testing

Learning-oriented assessment of Wiki contributions: How to assess Wiki contributions in a higher education learning setting

Model-driven design of performance requirements

Model-driven design of performance requirements withuml and marte

TOWARDS HIGHER-ORDER MUTANT GENERATION FOR WS-BPEL

Towards higher-order mutant generation for WS-BPEL

A verified Common Lisp implementation of Buchberger's algorithm in ACL2

GAmera: A tool for WS-BPEL composition testing using mutation analysis